xend: Fix save/restore after previous changeset.

Platform variable 'tsc_native' is saved/restored as a string, so must
be converted to an integer before passing to domain_set_tsc_native().

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>

diff --git a/tools/python/xen/xend/XendDomainInfo.py b/tools/python/xen/xend/XendDomainInfo.py
index b38a5fea4b73cdb5964054a2d1882fdf7b86200c..6848d3b3eeda056dfa3ca0b13dd53e93a0423f01 100644 (file)
--- a/tools/python/xen/xend/XendDomainInfo.py
+++ b/tools/python/xen/xend/XendDomainInfo.py
@@ -2426,7 +2426,7 @@ class XendDomainInfo:
         # Set TSC mode of domain
         tsc_native = self.info["platform"].get("tsc_native")
         if arch.type == "x86" and tsc_native is not None:
-            xc.domain_set_tsc_native(self.domid, tsc_native)
+            xc.domain_set_tsc_native(self.domid, int(tsc_native))
 
         # Set timer configuration of domain
         timer_mode = self.info["platform"].get("timer_mode")